ShellApp: Use global time, not clutter time

This is correct in more circumstances.

https://bugzilla.gnome.org/show_bug.cgi?id=648149

diff --git a/src/shell-app.c b/src/shell-app.c
index b4b65d7e09593c9eb254a6f8a783e74eb45571ba..b6ff31bc3d97ccb12d7d67d32a80105f8e21efaf 100644 (file)
--- a/src/shell-app.c
+++ b/src/shell-app.c
@@ -1065,7 +1065,7 @@ shell_app_launch (ShellApp     *app,
   screen = shell_global_get_screen (global);
 
   if (timestamp == 0)
-    timestamp = clutter_get_current_event_time ();
+    timestamp = shell_global_get_current_time (global);
 
   if (workspace < 0)
     workspace = meta_screen_get_active_workspace_index (screen);